2261. Uncertainty analysis in engineering and sciences : fuzzy logic, statistics, and neural network approach
پدیدآورنده : Ayyub, Bilal M.
کتابخانه: (طهران)
موضوع : Engineering - Statistical methods , Uncertainty - Mathematical models , Reliability )Engineering( , Fuzzy logic , Neural networks )Computer science(
رده :
TA
340
.
A992
1998
2262. Undecidability, uncomputability, and unpredictability
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Decidability (Mathematical logic) ;
2263. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
2264. Understanding Wittgenstein's Tractatus
پدیدآورنده : Frascolla, Pasquale, 2591-
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : Tractatus logico-philosophicus ، Wittgenstein, Ludwig,9881-1591,، Logic, Symbolic and mathematical.,Philosophy ، Language and languages,، Metaphysics,91th Century ، Philosophy, Austrian
رده :
B
3376
.
W563T7
2006
2265. Understanding Wittgenstein's Tractatus
پدیدآورنده : Frascolla, Pasquale
کتابخانه: (قم)
موضوع : ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Metaphysics
رده :
B
3376
.
W563
.
T7332
2007
2266. Understanding mathematical proof /
پدیدآورنده : John Taylor, Rowan Garnier
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Proof theory
2267. Understanding symbolic logic
پدیدآورنده : Virginia Klenk
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Logic, Symbolic and mathematical
رده :
BC
،
135
،.
K53
،
1989
2268. Understanding symbolic logic
پدیدآورنده : / Virginia Klenk
کتابخانه: (طهران)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical
رده :
BC135
.
K53
2269. Visualization, Explanation and Reasoning Styles in Mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
2270. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA8
.
6
.
V57
2005
2271. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
2272. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
2273. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
2274. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
E-BOOK
2275. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA
8
.
6
.
V57
2005
2276. Vivid logic :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
2277. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: (طهران)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
2278. Vollstandige Systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S3793
2279. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
2280. Vollstandige systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S46
1968
